spec_trans(root,'$initialise_machine',3).
spec_trans(2,'$initialise_machine',3).
spec_trans(3,'q_sendItem_test1({QUEUE_NULL},{(QUEUE_NULL|->{TASK_NULL})},{},{},{},{(QUEUE_NULL|->{})},{},{},queueSEND_TO_BACK,{QUEUE_NULL},{},{},QUEUE_NULL,ITEM_NULL,{(QUEUE_NULL|->{})},{(QUEUE_NULL|->TASK_NULL)},{QUEUE_NULL},{QUEUE_NULL})',3).
spec_trans(3,'q_sendItem_test2({QUEUE_NULL},{(QUEUE_NULL|->{TASK_NULL})},{},{},{},{(QUEUE_NULL|->{})},{(QUEUE_NULL|->TASK_NULL)},{},queueSEND_TO_BACK,{QUEUE_NULL},{},{},QUEUE_NULL,ITEM_NULL,{(QUEUE_NULL|->{})},{QUEUE_NULL},{(QUEUE_NULL|->TASK_NULL)},{QUEUE_NULL})',3).
spec_trans(3,'q_sendItem_test3({QUEUE_NULL},{(QUEUE_NULL|->{TASK_NULL})},{(QUEUE2|->TASK_NULL)},{QUEUE2},{},{(QUEUE_NULL|->{})},{},{},queueSEND_TO_BACK,{QUEUE_NULL},{},{},QUEUE_NULL,ITEM_NULL,{(QUEUE_NULL|->{})},{QUEUE_NULL},{(QUEUE_NULL|->TASK_NULL)},{})',3).
spec_trans(3,'q_sendItem_test4({QUEUE_NULL},{(QUEUE_NULL|->{TASK_NULL})},{(QUEUE2|->TASK_NULL)},{QUEUE2},{},{(QUEUE_NULL|->{})},{(QUEUE_NULL|->TASK_NULL)},{},queueSEND_TO_BACK,{QUEUE_NULL},{},{QUEUE_NULL},QUEUE_NULL,ITEM_NULL,{(QUEUE_NULL|->{}),(QUEUE2|->{})},{(QUEUE_NULL|->TASK_NULL)},{QUEUE_NULL},{QUEUE2})',3).
spec_trans(3,'q_sendItem_test5({QUEUE_NULL,QUEUE2},{(QUEUE_NULL|->{TASK_NULL}),(QUEUE2|->{})},{},{},{},{(QUEUE_NULL|->{}),(QUEUE2|->{})},{(QUEUE_NULL|->TASK_NULL),(QUEUE2|->TASK_NULL)},{},queueSEND_TO_BACK,{QUEUE_NULL},{},{},QUEUE_NULL,ITEM_NULL,{(QUEUE_NULL|->{})},{QUEUE_NULL,QUEUE2},{(QUEUE_NULL|->TASK_NULL),(QUEUE2|->TASK_NULL)},{QUEUE_NULL})',3).
spec_trans(3,'q_sendItem_test6({QUEUE_NULL,QUEUE2},{(QUEUE_NULL|->{TASK_NULL}),(QUEUE2|->{})},{},{},{},{(QUEUE_NULL|->{}),(QUEUE2|->{})},{},{},queueSEND_TO_BACK,{QUEUE_NULL},{},{},QUEUE_NULL,ITEM_NULL,{(QUEUE_NULL|->{})},{QUEUE_NULL,QUEUE2},{(QUEUE_NULL|->TASK_NULL),(QUEUE2|->TASK_NULL)},{})',3).
spec_trans(3,'q_sendItem_test7({QUEUE_NULL},{(QUEUE_NULL|->{TASK_NULL})},{(QUEUE2|->TASK_NULL)},{QUEUE2},{},{(QUEUE_NULL|->{})},{(QUEUE_NULL|->TASK_NULL)},{},queueSEND_TO_BACK,{QUEUE_NULL},{},{},QUEUE_NULL,ITEM_NULL,{(QUEUE_NULL|->{}),(QUEUE2|->{})},{(QUEUE_NULL|->TASK_NULL)},{QUEUE_NULL},{QUEUE_NULL})',3).
spec_trans(3,'q_sendItem_test8({QUEUE_NULL,QUEUE2},{(QUEUE_NULL|->{TASK_NULL}),(QUEUE2|->{})},{},{},{},{(QUEUE_NULL|->{}),(QUEUE2|->{})},{(QUEUE_NULL|->TASK_NULL),(QUEUE2|->TASK_NULL)},{},queueSEND_TO_BACK,{QUEUE_NULL},{},{QUEUE_NULL},QUEUE_NULL,ITEM_NULL,{(QUEUE_NULL|->{})},{(QUEUE_NULL|->TASK_NULL),(QUEUE2|->TASK_NULL)},{QUEUE_NULL,QUEUE2},{QUEUE2})',3).
spec_trans(3,'q_sendItem_test9({QUEUE_NULL,QUEUE2},{(QUEUE_NULL|->{TASK_NULL}),(QUEUE2|->{})},{},{},{},{(QUEUE_NULL|->{}),(QUEUE2|->{})},{(QUEUE_NULL|->TASK_NULL),(QUEUE2|->TASK_NULL)},{},queueSEND_TO_BACK,{QUEUE_NULL},{},{QUEUE_NULL},QUEUE_NULL,ITEM_NULL,{(QUEUE_NULL|->{})},{(QUEUE_NULL|->TASK_NULL),(QUEUE2|->TASK_NULL)},{QUEUE_NULL,QUEUE2},{})',3).
spec_trans(3,'q_sendItem_test10({QUEUE_NULL},{(QUEUE_NULL|->{TASK_NULL})},{},{},{},{(QUEUE_NULL|->{})},{},{},queueSEND_TO_BACK,{QUEUE_NULL},{},{QUEUE_NULL},QUEUE_NULL,ITEM_NULL,{(QUEUE_NULL|->{})},{(QUEUE_NULL|->TASK_NULL)},{QUEUE_NULL},{})',3).
spec_trans(3,'q_sendItem_test11({QUEUE_NULL},{(QUEUE_NULL|->{TASK_NULL})},{(QUEUE2|->TASK_NULL)},{QUEUE2},{},{(QUEUE_NULL|->{})},{(QUEUE_NULL|->TASK_NULL)},{},queueSEND_TO_BACK,{QUEUE_NULL},{},{},QUEUE_NULL,ITEM_NULL,{(QUEUE_NULL|->{})},{QUEUE_NULL},{(QUEUE_NULL|->TASK_NULL)},{})',3).
spec_trans(3,'q_sendItem_test12({QUEUE_NULL},{(QUEUE_NULL|->{TASK_NULL})},{},{},{},{(QUEUE_NULL|->{})},{(QUEUE_NULL|->TASK_NULL)},{},queueSEND_TO_BACK,{QUEUE_NULL},{},{QUEUE_NULL},QUEUE_NULL,ITEM_NULL,{(QUEUE_NULL|->{})},{(QUEUE_NULL|->TASK_NULL)},{QUEUE_NULL},{})',3).
spec_trans(3,'q_sendItem_test13({QUEUE_NULL},{(QUEUE_NULL|->{TASK_NULL})},{},{},{},{(QUEUE_NULL|->{})},{},{},queueSEND_TO_BACK,{QUEUE_NULL},{},{},QUEUE_NULL,ITEM_NULL,{(QUEUE_NULL|->{})},{QUEUE_NULL},{(QUEUE_NULL|->TASK_NULL)},{})',3).
spec_trans(3,'q_sendItem_test14({QUEUE_NULL},{(QUEUE_NULL|->{TASK_NULL})},{(QUEUE2|->TASK_NULL)},{QUEUE2},{},{(QUEUE_NULL|->{})},{(QUEUE_NULL|->TASK_NULL)},{},queueSEND_TO_BACK,{QUEUE_NULL},{},{QUEUE_NULL},QUEUE_NULL,ITEM_NULL,{(QUEUE_NULL|->{})},{(QUEUE_NULL|->TASK_NULL)},{QUEUE_NULL},{})',3).
spec_trans(3,'q_sendItem_test15({QUEUE_NULL},{(QUEUE_NULL|->{TASK_NULL})},{(QUEUE2|->TASK_NULL)},{QUEUE2},{},{(QUEUE_NULL|->{})},{},{},queueSEND_TO_BACK,{QUEUE_NULL},{},{},QUEUE_NULL,ITEM_NULL,{(QUEUE_NULL|->{}),(QUEUE2|->{})},{QUEUE_NULL},{(QUEUE_NULL|->TASK_NULL)},{})',3).
spec_trans(3,'q_sendItem_test16({QUEUE_NULL},{(QUEUE_NULL|->{TASK_NULL})},{QUEUE2},{(QUEUE2|->TASK_NULL)},{},{(QUEUE_NULL|->{})},{},{},queueSEND_TO_BACK,{QUEUE_NULL},{},{QUEUE_NULL},QUEUE_NULL,ITEM_NULL,{(QUEUE_NULL|->{})},{(QUEUE_NULL|->TASK_NULL)},{QUEUE_NULL},{})',3).
spec_trans(3,'q_sendItem_test17({QUEUE_NULL},{(QUEUE_NULL|->{TASK_NULL})},{},{},{},{(QUEUE_NULL|->{})},{(QUEUE_NULL|->TASK_NULL)},{},queueSEND_TO_BACK,{QUEUE_NULL},{},{QUEUE_NULL},QUEUE_NULL,ITEM_NULL,{(QUEUE_NULL|->{})},{QUEUE_NULL},{(QUEUE_NULL|->TASK_NULL)},{QUEUE2})',3).
spec_trans(3,'q_sendItem_test18({QUEUE_NULL},{(QUEUE_NULL|->{TASK_NULL})},{QUEUE2},{(QUEUE2|->TASK_NULL)},{},{(QUEUE_NULL|->{})},{(QUEUE_NULL|->TASK_NULL)},{},queueSEND_TO_BACK,{QUEUE_NULL},{},{},QUEUE_NULL,ITEM_NULL,{(QUEUE_NULL|->{})},{(QUEUE_NULL|->TASK_NULL)},{QUEUE_NULL},{QUEUE_NULL})',3).
spec_trans(3,'q_sendItem_test19({QUEUE_NULL,QUEUE2},{(QUEUE_NULL|->{TASK_NULL}),(QUEUE2|->{})},{},{},{},{(QUEUE_NULL|->{}),(QUEUE2|->{})},{},{},queueSEND_TO_BACK,{QUEUE_NULL},{},{QUEUE_NULL},QUEUE_NULL,ITEM_NULL,{(QUEUE_NULL|->{})},{(QUEUE_NULL|->TASK_NULL),(QUEUE2|->TASK_NULL)},{QUEUE_NULL,QUEUE2},{})',3).
spec_trans(3,'q_sendItem_test20({QUEUE_NULL},{(QUEUE_NULL|->{TASK_NULL})},{(QUEUE2|->TASK_NULL)},{QUEUE2},{},{(QUEUE_NULL|->{})},{(QUEUE_NULL|->TASK_NULL)},{},queueSEND_TO_BACK,{QUEUE_NULL},{},{},QUEUE_NULL,ITEM_NULL,{(QUEUE_NULL|->{}),(QUEUE2|->{})},{QUEUE_NULL},{(QUEUE_NULL|->TASK_NULL)},{})',3).
spec_trans(3,'q_sendItem_test21({QUEUE_NULL},{(QUEUE_NULL|->{TASK_NULL})},{QUEUE2},{(QUEUE2|->TASK_NULL)},{},{(QUEUE_NULL|->{})},{(QUEUE_NULL|->TASK_NULL)},{},queueSEND_TO_BACK,{QUEUE_NULL},{},{QUEUE_NULL},QUEUE_NULL,ITEM_NULL,{(QUEUE_NULL|->{}),(QUEUE2|->{})},{(QUEUE_NULL|->TASK_NULL)},{QUEUE_NULL},{})',3).
spec_trans(3,'q_sendItem_test22({QUEUE_NULL},{(QUEUE_NULL|->{TASK_NULL})},{},{},{},{(QUEUE_NULL|->{})},{(QUEUE_NULL|->TASK_NULL)},{},queueSEND_TO_BACK,{QUEUE_NULL},{},{},QUEUE_NULL,ITEM_NULL,{(QUEUE_NULL|->{})},{QUEUE_NULL},{(QUEUE_NULL|->TASK_NULL)},{})',3).
spec_trans(3,'q_sendItem_test23({QUEUE_NULL,QUEUE2},{(QUEUE_NULL|->{TASK_NULL}),(QUEUE2|->{})},{},{},{},{(QUEUE_NULL|->{}),(QUEUE2|->{})},{(QUEUE_NULL|->TASK_NULL),(QUEUE2|->TASK_NULL)},{},queueSEND_TO_BACK,{QUEUE_NULL},{},{},QUEUE_NULL,ITEM_NULL,{(QUEUE_NULL|->{})},{QUEUE_NULL,QUEUE2},{(QUEUE_NULL|->TASK_NULL),(QUEUE2|->TASK_NULL)},{})',3).
spec_trans(3,'q_sendItem_test24({QUEUE_NULL},{(QUEUE_NULL|->{TASK_NULL})},{QUEUE2},{(QUEUE2|->TASK_NULL)},{},{(QUEUE_NULL|->{})},{(QUEUE_NULL|->TASK_NULL)},{},queueSEND_TO_BACK,{QUEUE_NULL},{},{QUEUE_NULL},QUEUE_NULL,ITEM_NULL,{(QUEUE_NULL|->{})},{(QUEUE_NULL|->TASK_NULL)},{QUEUE_NULL},{QUEUE2})',3).
spec_trans(3,'q_sendItem_test25({QUEUE_NULL},{(QUEUE_NULL|->{TASK_NULL})},{(QUEUE2|->TASK_NULL)},{QUEUE2},{},{(QUEUE_NULL|->{})},{},{},queueSEND_TO_BACK,{QUEUE_NULL},{},{QUEUE_NULL},QUEUE_NULL,ITEM_NULL,{(QUEUE_NULL|->{}),(QUEUE2|->{})},{(QUEUE_NULL|->TASK_NULL)},{QUEUE_NULL},{})',3).
spec_max_reached_for_node(root).
spec_max_reached_for_node(2).
spec_max_reached_for_node(3).
spec_not_all_transitions_added(_) :-
        fail.
spec_completely_explored :-
        fail.
